home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Languages / Caml Light 0.7 / examples / demonstr / prop.mli < prev   
Encoding:
Text File  |  1995-06-01  |  413 b   |  14 lines  |  [TEXT/MPS ]
  1. type proposition =
  2.      Vrai
  3.    | Faux
  4.    | Non of proposition
  5.    | Et of proposition * proposition
  6.    | Ou of proposition * proposition
  7.    | Implique of proposition * proposition
  8.    | Équivalent of proposition * proposition
  9.    | Variable of string;;
  10.  
  11. exception Réfutation of (string * bool) list;;
  12. value vérifie_tautologie: proposition -> string list -> unit
  13.   and variables_libres: proposition -> string list;;
  14.